Rall($L$; $x$.$R$($x$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Rlist(map(($\lambda$$x$.$R$($x$)); $L$))